3.3027 \(\int \frac {1}{(a+b x)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx\)

Optimal. Leaf size=1510 \[ \frac {\sqrt {3} d \tan ^{-1}\left (\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}+\frac {1}{\sqrt {3}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{2 b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {\sqrt {2} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} \operatorname {EllipticF}\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right ),-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2}}{b^{2/3} d (b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )} \]

[Out]

-(d*x+c)^(2/3)*(2*b*d*x+a*d+b*c)^(2/3)/(-a*d+b*c)^2/(b*x+a)+1/2*d*ln(b*x+a)/b^(2/3)/(-a*d+b*c)^(5/3)-3/4*d*ln(
b^(2/3)*(d*x+c)^(2/3)/(-a*d+b*c)^(1/3)-(2*b*d*x+a*d+b*c)^(1/3))/b^(2/3)/(-a*d+b*c)^(5/3)+1/2*d*arctan(1/3*3^(1
/2)+2/3*b^(2/3)*(d*x+c)^(2/3)/(-a*d+b*c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)*3^(1/2))*3^(1/2)/b^(2/3)/(-a*d+b*c)^(5/
3)+((d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2)*((d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)/b^(
2/3)/d/(-a*d+b*c)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*b*c)/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*
x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))+1/3*d*((d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)
*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))*EllipticF((2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1
-3^(1/2)))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2))),I*3^(1/2)+2*I)*2^(1/2)*(
(d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)*(((-a*d+b*c)^(4/3)-2*b^(1/3)*(-a*d+b*c)^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(
1/3)+4*b^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(2/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3
)*(1+3^(1/2)))^2)^(1/2)*3^(3/4)/b^(2/3)/(-a*d+b*c)^(4/3)/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*
b*c)/(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2)/((-a*d+b*c)^(2/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)
))^(1/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)-1/2*3^(1/4)*d*((
d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))*EllipticE((2*b^
(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1-3^(1/2)))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(
1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2))),I*3^(1/2)+2*I)*((d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)*(1/2*6^(1/2)-1/2*2^(1/2)
)*(((-a*d+b*c)^(4/3)-2*b^(1/3)*(-a*d+b*c)^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+4*b^(2/3)*((d*x+c)*(a*d+b*(2
*d*x+c)))^(2/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)/b^(2/3)/(
-a*d+b*c)^(4/3)/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*b*c)/(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2)/((
-a*d+b*c)^(2/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d
*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 1.96, antiderivative size = 1510, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 8, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.242, Rules used = {124, 157, 62, 623, 303, 218, 1877, 123} \[ \frac {\sqrt {3} d \tan ^{-1}\left (\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}+\frac {1}{\sqrt {3}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{2 b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {\sqrt {2} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2}}{b^{2/3} d (b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )} \]

Antiderivative was successfully verified.

[In]

Int[1/((a + b*x)^2*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)),x]

[Out]

-(((c + d*x)^(2/3)*(b*c + a*d + 2*b*d*x)^(2/3))/((b*c - a*d)^2*(a + b*x))) + (((c + d*x)*(b*c + a*d + 2*b*d*x)
)^(1/3)*Sqrt[d^2*(3*b*c + a*d + 4*b*d*x)^2]*Sqrt[(d*(3*b*c + a*d) + 4*b*d^2*x)^2])/(b^(2/3)*d*(b*c - a*d)^2*(c
+ d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)*(3*b*c + a*d + 4*b*d*x)*((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)
*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))) + (Sqrt[3]*d*ArcTan[1/Sqrt[3] + (2*b^(2/3)*(c + d*x)^(2/3))/(Sqrt[3
]*(b*c - a*d)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3))])/(2*b^(2/3)*(b*c - a*d)^(5/3)) - (3^(1/4)*Sqrt[2 - Sqrt[3]]*
d*((c + d*x)*(b*c + a*d + 2*b*d*x))^(1/3)*Sqrt[(d*(3*b*c + a*d) + 4*b*d^2*x)^2]*((b*c - a*d)^(2/3) + 2*b^(1/3)
*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))*Sqrt[((b*c - a*d)^(4/3) - 2*b^(1/3)*(b*c - a*d)^(2/3)*((c + d*x)*(a*
d + b*(c + 2*d*x)))^(1/3) + 4*b^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(2/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3
) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))^2]*EllipticE[ArcSin[((1 - Sqrt[3])*(b*c - a*d)^(2/3) +
2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*
d + b*(c + 2*d*x)))^(1/3))], -7 - 4*Sqrt[3]])/(2*b^(2/3)*(b*c - a*d)^(4/3)*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*
x)^(1/3)*(3*b*c + a*d + 4*b*d*x)*Sqrt[d^2*(3*b*c + a*d + 4*b*d*x)^2]*Sqrt[((b*c - a*d)^(2/3)*((b*c - a*d)^(2/3
) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3)))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x
)*(a*d + b*(c + 2*d*x)))^(1/3))^2]) + (Sqrt[2]*d*((c + d*x)*(b*c + a*d + 2*b*d*x))^(1/3)*Sqrt[(d*(3*b*c + a*d)
+ 4*b*d^2*x)^2]*((b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))*Sqrt[((b*c - a*d)^(4/
3) - 2*b^(1/3)*(b*c - a*d)^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3) + 4*b^(2/3)*((c + d*x)*(a*d + b*(c +
2*d*x)))^(2/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))^2]*Ellip
ticF[ArcSin[((1 - Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))/((1 + Sqrt[3
])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))], -7 - 4*Sqrt[3]])/(3^(1/4)*b^(2/3)*
(b*c - a*d)^(4/3)*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)*(3*b*c + a*d + 4*b*d*x)*Sqrt[d^2*(3*b*c + a*d +
4*b*d*x)^2]*Sqrt[((b*c - a*d)^(2/3)*((b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3)))/(
(1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))^2]) + (d*Log[a + b*x])/(2
*b^(2/3)*(b*c - a*d)^(5/3)) - (3*d*Log[(b^(2/3)*(c + d*x)^(2/3))/(b*c - a*d)^(1/3) - (b*c + a*d + 2*b*d*x)^(1/
3)])/(4*b^(2/3)*(b*c - a*d)^(5/3))

Rule 62

Int[((a_.) + (b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(m_), x_Symbol] :> Dist[((a + b*x)^m*(c + d*x)^m)/((a + b*x)
*(c + d*x))^m, Int[(a*c + (b*c + a*d)*x + b*d*x^2)^m, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] &&
LtQ[-1, m, 0] && LeQ[3, Denominator[m], 4]

Rule 123

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(1/3)*((e_.) + (f_.)*(x_))^(1/3)), x_Symbol] :> With[{q = Rt[
(b*(b*e - a*f))/(b*c - a*d)^2, 3]}, -Simp[Log[a + b*x]/(2*q*(b*c - a*d)), x] + (-Simp[(Sqrt[3]*ArcTan[1/Sqrt[3
] + (2*q*(c + d*x)^(2/3))/(Sqrt[3]*(e + f*x)^(1/3))])/(2*q*(b*c - a*d)), x] + Simp[(3*Log[q*(c + d*x)^(2/3) -
(e + f*x)^(1/3)])/(4*q*(b*c - a*d)), x])] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[2*b*d*e - b*c*f - a*d*f, 0]

Rule 124

Int[((a_.) + (b_.)*(x_))^(m_)/(((c_.) + (d_.)*(x_))^(1/3)*((e_.) + (f_.)*(x_))^(1/3)), x_Symbol] :> Simp[(b*(a
+ b*x)^(m + 1)*(c + d*x)^(2/3)*(e + f*x)^(2/3))/((m + 1)*(b*c - a*d)*(b*e - a*f)), x] + Dist[f/(6*(m + 1)*(b*
c - a*d)*(b*e - a*f)), Int[((a + b*x)^(m + 1)*(a*d*(3*m + 1) - 3*b*c*(3*m + 5) - 2*b*d*(3*m + 7)*x))/((c + d*x
)^(1/3)*(e + f*x)^(1/3)), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[2*b*d*e - b*c*f - a*d*f, 0] && ILtQ[m,
-1]

Rule 157

Int[(((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_))^(p_)*((g_.) + (h_.)*(x_)))/((a_.) + (b_.)*(x_)), x_Symbol]
:> Dist[h/b, Int[(c + d*x)^n*(e + f*x)^p, x], x] + Dist[(b*g - a*h)/b, Int[((c + d*x)^n*(e + f*x)^p)/(a + b*x
), x], x] /; FreeQ[{a, b, c, d, e, f, g, h, n, p}, x]

Rule 218

Int[1/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3]], s = Denom[Rt[b/a, 3]]}, Simp[(2*Sqr
t[2 + Sqrt[3]]*(s + r*x)*Sqrt[(s^2 - r*s*x + r^2*x^2)/((1 + Sqrt[3])*s + r*x)^2]*EllipticF[ArcSin[((1 - Sqrt[3
])*s + r*x)/((1 + Sqrt[3])*s + r*x)], -7 - 4*Sqrt[3]])/(3^(1/4)*r*Sqrt[a + b*x^3]*Sqrt[(s*(s + r*x))/((1 + Sqr
t[3])*s + r*x)^2]), x]] /; FreeQ[{a, b}, x] && PosQ[a]

Rule 303

Int[(x_)/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3]], s = Denom[Rt[b/a, 3]]}, Dist[(Sq
rt[2]*s)/(Sqrt[2 + Sqrt[3]]*r), Int[1/Sqrt[a + b*x^3], x], x] + Dist[1/r, Int[((1 - Sqrt[3])*s + r*x)/Sqrt[a +
b*x^3], x], x]] /; FreeQ[{a, b}, x] && PosQ[a]

Rule 623

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> With[{d = Denominator[p]}, Dist[(d*Sqrt[(b + 2*c*x)
^2])/(b + 2*c*x), Subst[Int[x^(d*(p + 1) - 1)/Sqrt[b^2 - 4*a*c + 4*c*x^d], x], x, (a + b*x + c*x^2)^(1/d)], x]
/; 3 <= d <= 4] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0] && RationalQ[p]

Rule 1877

Int[((c_) + (d_.)*(x_))/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Simplify[((1 - Sqrt[3])*d)/c]]
, s = Denom[Simplify[((1 - Sqrt[3])*d)/c]]}, Simp[(2*d*s^3*Sqrt[a + b*x^3])/(a*r^2*((1 + Sqrt[3])*s + r*x)), x
] - Simp[(3^(1/4)*Sqrt[2 - Sqrt[3]]*d*s*(s + r*x)*Sqrt[(s^2 - r*s*x + r^2*x^2)/((1 + Sqrt[3])*s + r*x)^2]*Elli
pticE[ArcSin[((1 - Sqrt[3])*s + r*x)/((1 + Sqrt[3])*s + r*x)], -7 - 4*Sqrt[3]])/(r^2*Sqrt[a + b*x^3]*Sqrt[(s*(
s + r*x))/((1 + Sqrt[3])*s + r*x)^2]), x]] /; FreeQ[{a, b, c, d}, x] && PosQ[a] && EqQ[b*c^3 - 2*(5 - 3*Sqrt[3
])*a*d^3, 0]

Rubi steps

\begin {align*} \int \frac {1}{(a+b x)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}-\frac {d \int \frac {3 b c-5 a d-2 b d x}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^2}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\left (2 d^2\right ) \int \frac {1}{\sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^2}-\frac {d \int \frac {1}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{b c-a d}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt {3} d \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}+\frac {\left (2 d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)}\right ) \int \frac {1}{\sqrt [3]{c (b c+a d)+(2 b c d+d (b c+a d)) x+2 b d^2 x^2}} \, dx}{3 (b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt {3} d \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}+\frac {\left (2 d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{(b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt {3} d \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}+\frac {\left (d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} x}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}+\frac {\left (\sqrt {\frac {2}{2+\sqrt {3}}} d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^2 (a+b x)}+\frac {\sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2}}{b^{2/3} d (b c-a d)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}+\frac {\sqrt {3} d \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{2 b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {\sqrt {2} d \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} (b c-a d)^{4/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}+\frac {d \log (a+b x)}{2 b^{2/3} (b c-a d)^{5/3}}-\frac {3 d \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{4 b^{2/3} (b c-a d)^{5/3}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 1.17, size = 288, normalized size = 0.19 \[ \frac {(c+d x)^{2/3} \left (\frac {d \left (-2^{2/3} (b c-a d)^2 \sqrt [3]{\frac {a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac {5}{3};\frac {1}{3},1;\frac {8}{3};\frac {b c-a d}{2 b c+2 b d x},\frac {b c-a d}{b c+b d x}\right )+10\ 2^{2/3} b (c+d x) (b c-a d) \sqrt [3]{\frac {a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac {2}{3};\frac {1}{3},1;\frac {5}{3};\frac {b c-a d}{2 b c+2 b d x},\frac {b c-a d}{b c+b d x}\right )+10 b (c+d x) (a d+b (c+2 d x))\right )}{b^2 (c+d x)^2}-\frac {10 (a d+b (c+2 d x))}{a+b x}\right )}{10 (b c-a d)^2 \sqrt [3]{a d+b (c+2 d x)}} \]

Warning: Unable to verify antiderivative.

[In]

Integrate[1/((a + b*x)^2*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)),x]

[Out]

((c + d*x)^(2/3)*((-10*(a*d + b*(c + 2*d*x)))/(a + b*x) + (d*(10*b*(c + d*x)*(a*d + b*(c + 2*d*x)) + 10*2^(2/3
)*b*(b*c - a*d)*(c + d*x)*((b*c + a*d + 2*b*d*x)/(b*c + b*d*x))^(1/3)*AppellF1[2/3, 1/3, 1, 5/3, (b*c - a*d)/(
2*b*c + 2*b*d*x), (b*c - a*d)/(b*c + b*d*x)] - 2^(2/3)*(b*c - a*d)^2*((b*c + a*d + 2*b*d*x)/(b*c + b*d*x))^(1/
3)*AppellF1[5/3, 1/3, 1, 8/3, (b*c - a*d)/(2*b*c + 2*b*d*x), (b*c - a*d)/(b*c + b*d*x)]))/(b^2*(c + d*x)^2)))/
(10*(b*c - a*d)^2*(a*d + b*(c + 2*d*x))^(1/3))

________________________________________________________________________________________

fricas [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="fricas")

[Out]

Timed out

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{{\left (2 \, b d x + b c + a d\right )}^{\frac {1}{3}} {\left (b x + a\right )}^{2} {\left (d x + c\right )}^{\frac {1}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="giac")

[Out]

integrate(1/((2*b*d*x + b*c + a*d)^(1/3)*(b*x + a)^2*(d*x + c)^(1/3)), x)

________________________________________________________________________________________

maple [F]  time = 0.24, size = 0, normalized size = 0.00 \[ \int \frac {1}{\left (b x +a \right )^{2} \left (d x +c \right )^{\frac {1}{3}} \left (2 b d x +a d +b c \right )^{\frac {1}{3}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(b*x+a)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x)

[Out]

int(1/(b*x+a)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{{\left (2 \, b d x + b c + a d\right )}^{\frac {1}{3}} {\left (b x + a\right )}^{2} {\left (d x + c\right )}^{\frac {1}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="maxima")

[Out]

integrate(1/((2*b*d*x + b*c + a*d)^(1/3)*(b*x + a)^2*(d*x + c)^(1/3)), x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {1}{{\left (a+b\,x\right )}^2\,{\left (c+d\,x\right )}^{1/3}\,{\left (a\,d+b\,c+2\,b\,d\,x\right )}^{1/3}} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((a + b*x)^2*(c + d*x)^(1/3)*(a*d + b*c + 2*b*d*x)^(1/3)),x)

[Out]

int(1/((a + b*x)^2*(c + d*x)^(1/3)*(a*d + b*c + 2*b*d*x)^(1/3)), x)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\left (a + b x\right )^{2} \sqrt [3]{c + d x} \sqrt [3]{a d + b c + 2 b d x}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)**2/(d*x+c)**(1/3)/(2*b*d*x+a*d+b*c)**(1/3),x)

[Out]

Integral(1/((a + b*x)**2*(c + d*x)**(1/3)*(a*d + b*c + 2*b*d*x)**(1/3)), x)

________________________________________________________________________________________